// ${COMPLETE_ITEM:i, i2}
module Module

[<RequireQualifiedAccess>]
type U<'T> =
    | A
    | B of int * 'T

match U<int>.A, 1 with
| U.B({caret}), i1
